Relation algebra - PDFSEARCH.IO - Document Search Engine

Relation algebra
Results: 384

#	Item
51	Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-04-02 14:59:57 Order theory Algebraic topology F-coalgebra Coalgebra Partially ordered set Preorder Equivalence relation Functor Presentation of a group Mathematics Abstract algebra Category theory
52	Cluster Separability In Relativistic Quantum Mechanics W. N. Polyzou∗ - The University of Iowa B. D. Keister - NSF Phys. Rev. C86 ∗ Research supported by the in part by Add to Reading List Source URL: www.phys.kyushu-u.ac.jp Language: English - Date: 2012-08-21 04:07:20 Quantum mechanics Spectral theory Canonical commutation relation Eigenvalues and eigenvectors Spectral theory of ordinary differential equations Λ-ring Algebra Mathematics Mathematical physics
53	The categorical equivalence between complete (semi)lattices with operators and contexts with relations Peter Jipsen Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2012-06-15 00:09:09 Boolean algebra Algebraic logic Algebraic structures Lattice theory Heyting algebra Kripke semantics Residuated lattice Distributive lattice Relation algebra Logic Mathematical logic Mathematics
54	Introduction to database design First lecture: RG 3.6, 3.7, [4], most of 5 Second lecture: Rest of RG 5 Rasmus Pagh Some figures are taken from the ppt slides from the book Add to Reading List Source URL: itu.dk Language: English - Date: 2012-09-28 03:29:01 Data Relational model Database management systems Relational database Relational algebra Relation Candidate key Database normalization SQL Data management Data modeling Database theory
55	POLYA PROBLEM-SOLVING SEMINAR WEEK 3: RECURRENCES BOB HOUGH AND RAVI VAKIL The Rules. These are way too many problems to consider. Just pick a few problems you like and play around with them. Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-10-18 14:49:28 Programming idioms Algebra Recurrence relation Number theory Fibonacci number Recursion Factorial Mathematics Integer sequences Theory of computation
56	We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function: Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Universal quantification Associative property Type Logic Mathematics Abstract algebra Quantification
57	Distinguishing Attack on Grain Shahram Khazaei┴, Mehdi Hassanzadeh┼, Mohammad Kiaei┴ ┴ ┼ Add to Reading List Source URL: www.ecrypt.eu.org Language: English - Date: 2005-10-14 10:29:32 Algebra Cryptography Functional analysis Generalized functions Grain Keystream Correlation attack Recurrence relation Linear feedback shift register Mathematics Mathematical analysis Stream ciphers
58	A Survey of Residuated Lattices P. Jipsen and C. Tsinakis Abstract. Residuation is a fundamental concept of ordered structures and categories. In this survey we consider the consequences of adding a residuated monoid ope Add to Reading List Source URL: www1.chapman.edu Language: English - Date: 2003-04-01 18:18:05 Algebraic structures Lattice theory Fuzzy logic Algebraic logic Mathematical logic Residuated lattice Heyting algebra Relation algebra Lattice Abstract algebra Mathematics Logic
59	A CHARACTERISATION OF THE “SMITH IS HUQ” CONDITION IN THE POINTED MAL’TSEV SETTING dedicated to René Guitart on the occasion of his sixty-fifth birthday by Dominique BOURN, Nelson MARTINS-FERREIRA and Tim VAN DER Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2013-10-15 06:14:02 Topology Adjoint functors Functor Equivalence relation Equivalence of categories Fibration Subobject Natural transformation Regular category Category theory Abstract algebra Mathematics
60	CHERN CLASSES OF SPLAYED INTERSECTIONS PAOLO ALUFFI AND ELEONORE FABER Abstract. We generalize the Chern class relation for the transversal intersection of two nonsingular varieties to a relation for possibly singular va Add to Reading List Source URL: www.math.fsu.edu Language: English - Date: 2014-10-08 07:21:15 Mathematics Algebraic topology Algebraic geometry Chern class Segre class Constructible universe Z2 Inverse function Chow ring Abstract algebra Characteristic classes Topology

UPDATE